Buy Used and New Didier Galmiche Books

Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July ... 10900 (Lecture Notes in Computer Science)

by Didier Galmiche,Stephan Schulz,Roberto Sebastiani

ISBN 13: 9783319942049

Format: Paperback (744 pages)
Publisher: Springer
Published: 01 Jul 2018

Save for later

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings: 1227 (Lecture Notes in Computer Science)

by Didier Galmiche

ISBN 13: 9783540629207

Format: Paperback (392 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, ... 8123 (Lecture Notes in Computer Science)

by Didier Galmiche, Dominique Larchey-Wendling

ISBN 13: 9783642405365

Format: Paperback (300 pages)
Publisher: Springer
Published: 21 Aug 2013

Save for later